home *** CD-ROM | disk | FTP | other *** search
/ Linux Cubed Series 3: Developer Tools / Linux Cubed Series 3 - Developer Tools.iso / devel / lang / eiffel / smalleif.97 / se.t / SmallEiffel / lib_test / aux_rename2.e < prev    next >
Encoding:
Text File  |  1996-05-02  |  403 b   |  23 lines
  1. -- Part of SmallEiffel -- Read DISCLAIMER file -- Copyright (C) 
  2. -- Dominique COLNET and Suzanne COLLIN -- colnet@loria.fr
  3. --
  4. class AUX_RENAME2
  5.    
  6. inherit 
  7.    TEST_RENAME2
  8.       rename foo as super_foo
  9.       end;
  10.    
  11. feature {ANY}
  12.    
  13.    foo(x: like Current): like Current is
  14.       require
  15.      req_foo;
  16.       do
  17.      Result := x.super_foo(Current);
  18.       ensure
  19.      ens_foo;
  20.       end;
  21.    
  22. end -- AUX_RENAME2
  23.